set equality proofs